HEADERS =  Environment.h ChoiceTree.h ChoiceSet.h CutSequence.h Cut.h
SOURCES =  main.cpp Environment.cpp ChoiceTree.cpp ChoiceSet.cpp  CutSequence.cpp Cut.cpp